ミーリー型順序機械(Mealy Machine)
https://gyazo.com/6affaf826faa3c72eaa14f1155df332e
ミーリー型順序機械は次のものを指定することにより定まるシステムである：
状態の有限集合$ Q
入力記号の有限集合 $ \Sigma
出力記号の有限集合 $ \Delta
状態推移関数 state tranfer function $ \delta: (Q \times \Sigma) \longrightarrow Q
出力関数 output function$ \lambda : (Q \times \Sigma) \longrightarrow \Delta
初期状態 $ q_0 \in Q
これを次のように表現する：
$ M = (Q, \Sigma, \Delta, \delta, \lambda, q_0)
状態推移表、状態推移図によって具体的なMealy Machineを定めることもできる